body {
    font-family: "Lucida Grande",Lucida,Helvetica,sans-serif;
}

g text {
    pointer-events: none;
    font-family: "Lucida Grande",Lucida,Helvetica,sans-serif;
}

g.node:hover {
    fill: white;
    font-weight: bold;
}

.className {
    color: #990000;
}

.justificationsTitle {
   font-weight: bold;
   font-size: 20px;
}

a.notALink {
    color: darkblue;
    text-decoration: underline; 
}

a.notALink.disabled {
    color: gray;
}

a.notALink.disabled:hover {
    color: gray;
}

a.notALink span {
    pointer-events: none;
}

a.notALink:hover {
    color: red;
    text-decoration: underline;
}

div#space{
    width:300px;
}

div#graph{
    padding-top: 50px;
    padding-bottom:150px;
}

.hovertip {
    position: relative;
    display: none; /* in case javascript is disabled */
    width: 120px;
    border: 2px #82AE47 solid ;
    background-color: #A2D959;
    font-size: 12px;
    z-index: 100;
    margin-left: 0px;
    margin-top: 0px;
}

#keys {
    max-width: 200px;
    padding: 8px;
    position:fixed;
    bottom:10px;
    right:10px;
    font-size: 10px;
    background-color: beige;
    border: 2px black solid;
}

div#controlPanel {
    position:fixed;
    font-size: 12px;
    top: 10px;
    left: 10px;
    background-color: beige;
}

#controls td {
    background-color: #E0E0EB;
    padding-left: 5px;
    padding-right: 5px;
}

select {
    font-size: 12px;
    font-family: "Lucida Grande",Lucida,Helvetica,sans-serif;
}

div#help {
    width: 642px;
    padding-right: 10px;
    padding-left:10px;
}

div#help ul {
   margin-left: 1;
   padding-left: 2em;
}

div#excludedClasses {
    overflow: auto;
    max-height: 500px;
    width: 200px;
    padding: 10px;
    border: 2px beige solid ;
    background-color: #E0E0EB;
    font-size: 12px;
    z-index: 100;
    margin-left: 0px;
    margin-top: 0px;
}

div#excludedClasses ul {
    margin-left: 0;
    list-style: none;
    padding-left: 1em;
    text-indent: -1em;
}